منابع مشابه
Validation and Refinement versus Revision
This paper is a first work on the link between two fields: validation and refinement in knowledge base systems and revision in knowledge representation. The validation evaluates knowledge base quality; among the criterion which can define this quality an interesting one is coherency. The coherency of a set of rules can be viewed as the potential consistency of this set of rules with respect to ...
متن کاملModel building, refinement and validation
The CCP4 Study Weekend 2011 was held at the University of Warwick on the 6–7 January. Following a long established tradition of discussing at the Study Weekend the most important crystallographic topics, the choice for 2011 was the 'Model building, refinement and validation' triple bill. As a result of the extraordinary efforts of instrumentation and software developers, macromolecular crystall...
متن کاملRefinement complements verification and validation
Knowledge based systems are being applied in ever increasing numbers . The development of knowledge acquisition tools has eased the ‘‘Knowledge Acquisition Bottleneck’’ . More recently there has been a demand for mechanisms to assure the quality of knowledge based systems . Checking the contents of the knowledge base and the performance of the knowledge based systems at various stages throughou...
متن کاملExpert System Validation through Knowledge Base Refinement
Knowledge base (KB) refinement is a suitable technique to support expert system (ES) validation. When used for validation, KB refinement should be guided not only by the number of errors to solve but also by the importance of those errors. Most serious errors should be solved first, even causing other errors of lower importance but assuring a neat validity gain. These are the bases for IMPROVER...
متن کاملValidation of formal models by refinement animation
We provide a detailed description of refinement in Event-B, both as a contribution in itself and as a foundation for the approach to simultaneous animation of multiple levels of refinement that we propose. We present an algorithm for simultaneous multi-level animation of refinement, and show how it can be used to detect a variety of errors that occur frequently when using refinement. The algori...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Expert Systems with Applications
سال: 1995
ISSN: 0957-4174
DOI: 10.1016/0957-4174(94)e0025-p